applicative order वाक्य

उदाहरण वाक्य

1. Applicative order is not a normalising strategy.
2. For example, using applicative order reduction, the following sequence of reductions is possible:
3. By contrast, applicative order reduction may not terminate, even when the term has a normal form.
4. The positive tradeoff of using applicative order is that it does not cause unnecessary computation, if all arguments are used, because it never substitutes arguments containing redexes and hence never needs to copy them ( which would duplicate work ).